configure_file(input: 'BootNext-8be4df61-93ca-11d2-aa0d-00e098032b8c',
               output: 'BootNext-8be4df61-93ca-11d2-aa0d-00e098032b8c',
               copy: true)
configure_file(input: 'fwupd-ddc0ee61-e7f0-4e7d-acc5-c070a398838e-0-0abba7dc-e516-4167-bbf5-4d9d1c739416',
               output: 'fwupd-ddc0ee61-e7f0-4e7d-acc5-c070a398838e-0-0abba7dc-e516-4167-bbf5-4d9d1c739416',
               copy: true)
configure_file(input: 'SecureBoot-8be4df61-93ca-11d2-aa0d-00e098032b8c',
               output: 'SecureBoot-8be4df61-93ca-11d2-aa0d-00e098032b8c',
               copy: true)
